We prove that the problems of representing a finite ordered complementedsemigroup or finite lattice-ordered semigroup as an algebra of binary relationsover a finite set are undecidable. In the case that complementation is takenwith respect to a universal relation, this result can be extended to infiniterepresentations of ordered complemented semigroups.
展开▼